Nuprl Definition : listify
2,24
postcript
pdf
f
{
m
..
n
} == if
n
m
nil else (
f
(
m
)).(
f
{(
m
+1)..
n
}) fi
(recursive)
latex
Definitions
Y
,
if
b
t
else
f
fi
,
i
j
FDL editor aliases
listify
origin
} == if n
m
nil else (f(m)).(f{(m+1)..n}) fi (recursive) } == if nm nil else (f(m)).(f{(m+1)..n}) fi (recursive) t else f fij